Featured Book

The Art of Computer Programming, Volume 4, Fascicle 7

The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction is brimming with lively examples and forms the first third of what will eventually become hardcover Volume 4C. It introduces and explores an important general framework for modeling and solving combinatorial problems, called the Constraint Satisfaction Problem (CSP). Fascicle 7 illuminates how the CSP framework is tied to dozens of other parts of computer science. Nearly 500 exercises are provided, arranged carefully for self-instruction, together with detailed answers. All the while, the author pays significant attention to the history of the subject and its human dimensions.